This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...